ATS theorem